-
1 смертный
См. также в других словарях:
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
суппозиция — (от лат. suppositio подкладывание, подмена) термин, использовавшийся средневековыми логиками для обозначения разных употреблений термина. В обычном языке один и тот же термин может относиться к предметам различных типов. Во первых, он может… … Словарь терминов логики
СУППОЗИЦИЯ — (от лат. suppositio подкладывание, подмена) термин, использовавшийся средневековыми логиками для обозначения разных употреблений термина (имени). В обычном языке один и тот же термин может относиться к предметам различных типов. 1. Он может… … Философская энциклопедия
логика (средневековья) — Ars vetus , Ars nova , Logica modernorum Лишь несколько десятилетий назад ученые смогли по достоинству оценить средневековую логику. С одной стороны, она представляет собой дидактическую систематизацию античной логики, с другой стороны, в ней … Западная философия от истоков до наших дней
Категорический силлогизм — Простой категорический силлогизм (греч. συλλογισμός) рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения)… … Википедия
Силлогизм — Силлогизм ♦ Syllogisme Тип дедуктивного умозаключения, сформулированный Аристотелем, объединяющий три термина, связанных попарно, каждый из которых упоминается дважды, в трех суждениях. Однако каноническим примером силлогизма служит… … Философский словарь Спонвиля
СМЕРТНЫЙ — смертная, смертное; смертен, смертна, смертно. 1. Подверженный смерти, такой, что должен закончить свое существование смертью. Все люди смертны. Человек смертен. 2. в знач. сущ. смертный, смертного, м. Человек (книжн. ритор. устар., теперь фам.… … Толковый словарь Ушакова